backward chaining

Vorm van (terug)redeneren in een kennissysteem.